<HTML><HEAD><TITLE>write_history</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(toplevel)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>write_history</H1>
Writes the current command history into the .eclipse_history file

</BODY></HTML>
